1. Finite automata, formal logic, and circuit complexity
پدیدآورنده : Straubing, Howard, 2591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Mathematics ، Computer science,، Machine theory,، Logic, Symbolic and mathematical,، Computational complexity
رده :
QA
76
.
9
.
M35S77
2. Fundamentals of computation theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Machine theory-- Congresses,، Computer science-- Mathematics-- Congresses,، Computational complexity-- Congresses
رده :
QA
267
.
I57
1985
3. Logic and automata
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Machine theory. ; Logic, Symbolic and mathematical. ; Computer science ; Mathematics. ; Computational complexity. ;
4. Theory of computation
پدیدآورنده : Wood, Derick
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Computational complexity,، Machine theory,، Computer science -- Mathematics
رده :
QA
267
.
W66
1987
5. Theory of computation
پدیدآورنده : Natarajan, A.M
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Computational complexity,، Machine theory,، Computer science -- Mathematics
رده :
QA
267
.
N35
2003
6. Theory of computation
پدیدآورنده : Wood, Derick
موضوع : ، Computational complexity,، Machine theory,، Computer science-- Mathematics
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
7. Theory of computation
پدیدآورنده : Wood, Derick
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Computational complexity , Machine theory, Computer science - Mathematics
رده :
QA
267
.
W66
1987
8. Topics in the theory of computation
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computational complexity ; Congresses. ; Machine theory ; Congresses. ; Computer science ; Mathematics ; Congresses. ;
9. Topics in the theory of computation :
پدیدآورنده : edited by Marek Karpinski and Jan van Leeuwen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computational complexity-- Congresses,Computer science-- Mathematics-- Congresses,Machine theory-- Congresses
رده :
QA267
.
I56
1983
10. #Topics in the theory of computation
پدیدآورنده : #edited by Marek Karpinski and Jan van Leeuwen
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Computational complexity- Congresses ،Machine theory- Congresses ،Computer science- Mathematics- Congresses
رده :
#
QA
،#.
I56
،#
1985
